$\forall$$w$:World. FairFifo $\Rightarrow$ w{-}discrete{-}constraint($w$)